g(1824,[a(0) - [b4(1),b4(2)]]).
g(1825,[a(1) - [b4(5),b4(6)]]).
g(1827,[a(3) - [b4(13)]]).
g(1828,[a(4) - [b2(9),b4(17)]]).
g(1829,[a(5) - [b2(10)]]).
g(1835,[a(11) - [b1(11)]]).
g(1836,[a(12) - [b1(12)]]).
g(1839,[a(15) - [b1(15)]]).
g(1840,[a(16) - [b1(16)]]).
g(1843,[a(19) - [b1(19)]]).
